Types and modularity for implicit invocation with implicit announcement
نویسندگان
چکیده
منابع مشابه
Types and Modularity for Implicit Invocation with Implicit Announcement FRIEDRICH STEIMANN AND THOMAS PAWLITZKI Fernuniversität in Hagen
data types, polymorphism, control structures. General Terms: Design, Languages Additional
متن کاملCategorization of Implicit Invocation Systems
Development and maintenance of implicit invocation systems is not as well understood and supported as the development of explicit invocation systems. The situation is aggravated in systems that allow the composition of functionality developed by different organizations, potentially using different programming languages and methodologies. In this document, we categorize the various ways in which...
متن کاملAspect Reasoning by Reduction to Implicit Invocation
Aspect-oriented programming constructs complicate reasoning about program behavior. Our position is that we can reduce key elements of aspect programming to implicit invocation (II) and then use existing work on reasoning about II to reason formally about aspect programs. We map aspect-oriented programs to equivalent programs with join points and advice replaced by event notifications and obser...
متن کاملAdding Implicit Invocation to Languages: Three Approaches
Implicit invocation based on event announcement is an increasingly important technique for integrating systems. However, the use of this technique has largely been con ned to tool integration systems|in which tools exist as independent processes|and special-purpose languages|in which specialized forms of event broadcast are designed into the language from the start. This paper broadens the clas...
متن کاملTowards a Formal Treatment of Implicit Invocation
Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2010
ISSN: 1049-331X,1557-7392
DOI: 10.1145/1767751.1767752